<?php
	header("Content-type: text/javascript");
?>
function set(path, number, x){
	var elTitle = document.getElementById('title');
	var elTitleX = document.getElementById('title'+x);
	var elNumber = document.getElementById('number');
	
	elTitle.firstChild.nodeValue = elTitleX.firstChild.nodeValue;
	elNumber.firstChild.nodeValue = number;
	
	elTtle = undefined;
	elTitleX = undefined;
	elNumber = undefined;
}

function unset(){

}